Remove node heading, so that it can be included by other files.
authorChong Yidong <cyd@stupidchicken.com>
Sun, 15 Apr 2007 20:57:37 +0000 (20:57 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Sun, 15 Apr 2007 20:57:37 +0000 (20:57 +0000)
commitb0970b49565deff8ea6dcf684f3e4175ff4c7e5b
tree212c69d8a70bfc6f8856738ed044df63f1bf952f
parent37417e0baf4c17522a44f00ff879617a8eea0e09
Remove node heading, so that it can be included by other files.
man/doclicense.texi